It is a wonderful document, with many of the previous discussions being neatly organized. The ORT discussion was very complicated, but I think the extension of type system by concept of reverse generics and concise notation with the some keyword are very beautiful. If the s...