fix bug shown by bug2.js - do full unification on instantiation with all previous instances; fix bug in that code as well