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