Added codegen test cases
types: added tests and fixes.
Some of the cgen test data files failed typechecking, so I added
more tests and fixed the failures.
Added do-nothing codegen
Adding frame discipline notes to README.