SEMANTIC CHECK WORKSgit add scanner.mll semantic_check.mlgit add scanner.mll semantic_check.ml and some scanner formatting