Our current Type ADT does not carry position information, so the usages location will be pretty coarse. It might still be valuable, but if we want to be able to implement a rename refactoring for types we'll need fine-grained position information.