fix numerous type bugs/issues
fix checkExpr and use it more
fix offset bug in CallExpr and temporarily disable type checking in AssignExpr and DeclExpr
add more tests and fix one test