reorganized data types and type signatures in module hierarchy