Marc:
A typical type predicate in _system.scm is
(define-prim (##ratnum? obj)
(and (##subtyped? obj)
(##eq? (##subtype obj) (macro-subtype-ratnum))))
Should all these uses of ##eq? be changed to ##eqv?
Also, it seems that you're set up to deserialize meroon objects, but not
to serialize them. Is that easily fixed?
Brad