sl/adt_op_meta: fail if an abstract object suddenly appears

... or disappears between the pair of heaps on the input
sl/symcmp: compare estimated type of objects, too

... in order not to invalidate assertions checked by joinSymHeaps()
sl/adt_op_match: improve the support for partial matches