type checking function call, terminal exprs; error type are now TVoid