Hierarchy of Types and the Axiom of Reductability