Generalized toplevels to include mode specs
Added missing clause for flattenTypeFam and gave more accurate name
Fixed completely borked definition of Definition.. How the hell did that work?
Added a few useful instances to TopLevel
Began shifting to living in a happy, toplevel oriented world
Quick note on naming
Fixed how name binding works to handle toplevels
Rewrote processInput to use bindToplevel
Ensure we bind all names
Removed unneeded flipAList
Removed unneeded import
Moved a few definitions to AST where they belong
Fixed subtle bug, contexts must be ordered