Experiment with the beginnings of a type system that allows promise subtypes to have an ownType and a valueType.