Scope has RefMap in it after all
Less trigger scope normalization

* unifyWithHole no longer throws away normalized scope and now returns the normalized scope

* Trigger.add now also normalizes scope (is this necessary? No tests hit any problem without this, but why?)

* Trigger.checkTrigger no longer needs to normalize scope upon every RefData update