Final changes to true/false, added not operator (not very clean, takes
like 7 instructions), looked into type checking but this seems really
difficult. I think we need an internal representation of what the stack
looks like.