sl/symgc: assume invalid objects have no outgoing edges

This commit makes no change in behavior as long as we operate
on consistent SMGs.
sl/adt_op: new API for ADT operation description [not tested]
sl/adt_op_meta: new API for ADT meta-operations [not tested]
sl/adt_op_def: new API for loading default ADT operations [not tested]