semantic_checker compiles, need to update definition of var_decls however