redefined type system, with enriched description.