LionelGoulet wrote
Am I correct in discovering that one canNOT synthesize an SR flip-flip in HDL?
That's correct. Nand2Tetris can only simulate synchronous sequential circuits.
I strongly recommend
Logisim. It's a GUI based logic simulator that will let you demonstrate Nand latches and how to build flip-flops from them.
Another good resource for learning about various sorts of flip-flops (an lots of other electronics, too) is
http://play-hookey.com/digital/.
--Mark