I'm not sure I understand the difference between a `Definition` and a `Type` -- could you clarify? If the difference is minimal, I'd love to use the consistent terminology of a `Type` across the project.