big update #3

done:
* repl checks
* batch mode checking checks
* frozen syntax save for literate files and value literals
* typechecker overhauled (understatement)
* added support for compilation to CAMF binary files
* cabal is dumb

todo:
* all the testing
* get cabal file in working order
* a lot more that I cant think of...