Add Interpreter module
Replace NaturalLiteral with IntLiteral
For CheckedContext store function arguments as first vars in StatementBlock
Sketch interpreter for Statements
Add runExpression