universe constraint Type[0] < Type[1].
universe constraint Type[1] < Type[2].
universe constraint Type[2] < Type[3].
universe constraint Type[3] < Type[4].
universe constraint Type[4] < Type[5].
universe constraint Type[5] < Type[6].