all semantic funcs for pass 1 are almost ready, not deployed in parser, nor
tested, see TODOs.txt of Siavash's next commit.