Hi Mitch, I have not tested the Heng Long 7+ boards, but it is my understanding all HL boards from 6 and later use the Tamiya IR protocol, so yes it should be compatible with the TCB and with any other board that uses Tamiya, which today is basically all of them.
The Heng Long IR receiver you linked to should work with the TCB, again I have not tested it but all these receivers are generally about the same thing.
However you will need to make sure that you connect the pins in the correct order. On the TCB the Apple connector is 5 pins but the Heng Long receiver is only 3 pins because it does not have a notification LED built in. If you look on the bottom of the TCB board you will see the three pins that you need for the receiver. The pin order is not the same as the Heng Long plug, which uses + - S (connection CN16 on the TK7), but on the TCB the order is + S -.
So you will have to re-arrange the connections, but otherwise I'm guessing it will work.