Adds Grammar.ml (does not work yet) and adds grammar support in Main.ml and Options.ml