With 4.2RC 2011-08-06, a model with no signature, like the following, does not have any instance.

---
run {
  some r: univ -> univ | some r
}
---

It worked with 4.2RC 2011-05-09. So it seems a regression.

Thanks,
Takeo