Renamed Grammar.ml to VariableTypeCheck.ml