Figured out pattern matching in SML.
Deleted junk files, further work will be in ocaml.
Still on 1st problem.
Will also do stuff in Haskell from now on.
Merge branch 'master' of github.com:neektza/modern-compiler-impl