Attributing properties to types rather than tokens commits a category mistake—types are not objects ...
This proposition has not been edited since the history system was added.