Prepraring Type.sml for merge
Merge branch 'master' of https://github.com/ChrisFugl/G-project
Merge branch 'master' of https://github.com/ChrisFugl/G-project
Fixed Match exception by making pattern matching exhaustive

Also added mosmllex to yc.sh