Fix bug in EnvInsert in ValueEnvironment
Implement EnvUpdate for TypeEnvironment
Integrate executor into repl
Implement proper execution of statements
Update REPL help (statements section)