Writing a wrapper for ASM that pulls out the class information we need.  Inheritance is easy.  Finding the relevant information from methods is harder; still exploring.
Closer.  Still have some work to do to represent the whole array/type parameter hierarchy.
Working on actual tests (called "Invariants").
Expanding the scope of tests that can be generated.  Seems to be a pretty simple scheme to cover all/most test cases.  (I write the tests, then set flags, then parse it out to code generator classes.)
Enhanced string interpretation so we don't need .pred stuff any more.
Parameters to vary/fill in stated first now.  First step of code production works (static filling in).  Second step (elaboration) does not yet.
Can now generate code.  Unfortunately, with only the existing tests we already get 100,000 lines of code (for one collection).  Will try to compact this.
About halfway through methods on `List`.  Also did some compacting of resulting code.
Split test definitions out into a separate file.  Also improved compact code generation (was repeating p's more than necessary).
Added the rest of methods from List.
Have all (initial) tests in place.  Generated code doesn't yet compile.
In the middle of moving replacements to external file.
Wrote $-style replacement parsing.
Didn't actually save last changes, perhaps?
More parsing / substitution.
Parsing of replacement patterns working.
Hooked up code generation.
First draft of collections complete (but untested).  Code generation still not finished.
Instances.scala is auto-generated, but only changes when the set of collections tested changes.
Have method checking working.