Some more typeCheck defs in ast