Transform a Schema by lifting all locally-defined anonymous types to the top-level, naming them, and planting a referend at their original location.

Given an environment of schema type mappings, and a schema module, create a bunch of Decls that describe the types in a more Haskell-friendly way.

Consolidate a Facet occurrence into a single Occurs value.

Push another Occurs value inside an existing Modifier.

Convert an occurs range to a Haskell-style type modifier (Maybe, List, Id)

Find the supertype (if it exists) of a given type name.

Keep applying the function to transform the value, until it yields Nothing. Returns the sequence of transformed values.