minor readme edit
haskeline dep update and test modules
Cleaned up Source/Closure languages

- Removed SourceSyntax file and references
- Remove distinctions between values and expressions in the grammar
- Added stubs for some missing cases of exprClosureConv
added back tytrans and trans modes to REPL
test parsing case & init on clo-conv tests