Started work on changing from Program () to a continuation.
Before making compile non-monadic
Changed CodeWriter.
implmenented basic literal (still wrong though - should add k to compileProgSym/Expr
generating Literal
Output param placed in an awkward place to allow for an initial k.
Function calls working.