With this changeset, I am pleased to report that the reference impl of "Type Annotations" has made it into the tl/langtools repository. Thanks to the entire team, past and present, for helping to make this happen. -- Jon