check type in leaf and leaf-list
lookup groupings correctly
check typedefs, features and identities in imported modules