Add space between functions when printing ImpCode.
Add dummy case for reading certs.
Fix replicate() in code generator.
Make part of type checker slightly easier to test.
Frob how array subexps are compiled.