expr type inferring finished. TODO: ReturnStmt type checking