Schema types

You use schemas to define types and refine your definition by deriving previously defined types.