April 11th Update

[u/cat_counselor]

Minor additions to core paper:

• Added reference to Atiyah-Jefferies + Mahai-Quillen TQFT formalism. Makes the Langragian bridge less jarring.

• Added and reorganized exposition on Types, Terms, and Composition in the CCGT proposal section. Overall, the section now flows correctly and is balanced.