refinement of Typename-system