Don't emit pop in SExp if its type is void.
Add prelude functions: readInt()I and printInt(I)V
Support prelude functions in the type checker and the interpreter.
checkDef must be guarded with newBlock/exitBlock.

Otherwise ids in different functions conflict.