Now passing our first test.
No test crashes any more.
One more test case passes, 10 to go.
9 failures.
Prevent infinite recursion on hashconsing.
6 failures.
4 failures.
Avoid re-tagging user objects if a tag is already available.
Minor cleanup.
Corrected expected test outputs.
Tests pass again.
Added new test for handling of rest arguments.
Fixed bug in generating temporary name for new objects.
During hashconsing, don't merge instance models and plain object models.
Added unit test for recent fix to Eavesdropper.
Build models directly during runtime.
Forgot to delete two spurious requires.
Several fixes to prevent infinite loops during circularity checking and finding client objects.