Type checking complete, beginning code gen