Fixing bugs in eval by implementing separate values type. Closures supported. Language now Turing complete.