Initial support for hashconsing (non-circular) models.