--
-- u-meta
renamed: DEF_HAS_MEMBER  --> DEF_HAS_TYPE