Can generate tests that compile.
Added a bunch more comments.