Checkpoint - generate some types and start writing ASM output file.