Type check statements.
Fix return statements, array/variable/address expressions.
Finish documenting type checker.