consolidate type inspection APIs in Type