Can the USB serial (Serial) be used at the same time as pins 6 and 7 (Serial1)?
Yes. I Arduino this would be Serial1 as a low level logic serial port. Remember not RS232 voltages directly.
… and of course D6/D7 can be used as GPIO pins if not used as Serial1 IO.
Yes, the hardware serial lines are used by using Serial1, in arduino speak