todo
refactor execution semantics of conditionals into execution chapter
terminology change
new comment
better def of if
Array should not be extendable
optimizations and operators