Add Constant typed expression
make Constant extend Expression
add Expression.eval(...)
implement trivial analyser
test basic eval
Implement symbol lookup expression
Add Let expression
refactoring
add KFn
misc refactoring
Function application expressions
tidy warning
refactor
refactor compute to return updated dynamic Environment
add TODO for broken stuff
add lexical bindings
lexical scoping tests