fixed skipped test
added for loop type checking
fixed up list type checking errors
added function def type checking for return type
fixed up transform assign/init tests
added type checking for function def, if, while, for, fixed list