Made ast_var_statement use vardecl type.
Implemented lambda and bracebody typechecking.