Define functions:
Cell.{resolve,isprimitive,isobject,isschema,isreference}; implement
Constraint.eq.apply.