Removes raising of UnMatched in CoreGen.ml