Added check_update in semantic.ml
Added check_stmt to semantic.ml
Added check_config to semantic.ml
Added check_field_decl to semantic.ml
Added check_formal and check_func_decl to semantic.ml
Completed sast.ml for now.
Merge branch 'master' of https://github.com/YichiLL/4115PLT