Slightly awkward to say "definitions are defined". Maybe just "Types are defined"?