• Top level declarations
• Object Syntax
• Type Syntax
• Type Family Declarations