Table extend

predicate extend(@type sub, @type_or_ref super)