consolidate type inspection APIs in Type
Merge branch 'master' into property
adapt to refactored Type APIs