Improve def-use information

[MatthewFluet]

• [ ] Start the def-use info file with a version number
• [ ] Annotate the type identifiers in variable types with their definition point (perhaps assign a unique ID for each type in the program?)
• [ ] structures and functors might be annotated with their signature (at least if it is named)