Provides a means of expressing `typed' references (as it were) within a document. The author is James Ashton.