[ issue1238 ] test case
[ issue1238 ] updated test case: the problem is module instantiation
[ issue1238 ] added a field defInstance :: Maybe QName to definitions

keeps track of whether the definition is an instance and if so, of
what class
[ issue1238 ] defs in instantiated modules inherit 'instance' status
[ issue1238 ] fixed (now) overlapping instances in old test case