Code fixes, fewer compilation errors. P.S. Ocaml is annoying
Merge branch 'semantic_check' of https://github.com/jhn/n2n into semantic_check