Creating data types, type constructors and data constructor.