Tools to define types.