6:13:41no-defun-allowedFor the record, SBCL 2.0.10 now uses 1000000 internal-time-units-per-second, so metering code that executes quickly is quite a bit more reliable now. I was going to modify SBCL to use that value, but that's the default now.
6:14:05no-defun-allowedAlthough that is more of a temporary problem if you're metering parts of another Lisp implementation :)
10:17:25beachGreat progress so far today. In E5, I can now define a generic function, then a method on that generic function, then call that generic function and it returns the right answer. The method was unspecialized, so it's the simplest possible case, and I fully expect more trouble with more complex methods. But still.