Document type roles Aug 24
Location information of instances is lost if there is aleady a '.hi' Aug 27
Not fully applied promoted tuple types aren't pretty-printed properly Aug 27