Implemented structural hierarchical comparison for types/schemas.
Task #34.