New definition of 2-HIT that allows for 2-constructors to refer to 1-constructors.
Modified previous 0-constructor example to work with the new 2-HIT definition.
Almost there, it should've worked already.