Renamed add-if-singleton constructors.
Simplified unequal-instance-in-rest.
Wrote down handler-stack semantics.