Peter and I had another bash at the universe of datatypes. Seems we don’t need to work so hard to get something off the ground. We’re trying to see if we can keep it simple.
Of course, we still need the higher-order case, but it’s not so hard. Hopefully we’ll iron out the wrinkles and put something more formal in the design doc shortly. I’m mostly posting this so I can clean the board.