Fixed all compile errors except for over-eager method selection (because we're getting them with getClass instead of what's visible at compile-time).
Some refactoring.  Tests are starting to be useful.  Found first genuine bug (I think).
collection.Seq passes!  (Mostly because I fixed laws.)