copy refinement. Type hierarchy.