Initial definition of type equation datatypes