Copland Language Extensions

[Durbatuluk1701]

Define and Implement Extensions to the Copland DSL for Attestation.

Primary Goals:

1. Variables + Binding (for ASPs, Protocol Terms, Plcs, and ASP Arguments)
2. Type definitions for ASPs within a Copland File
3. Place definitions + their components/ASPs defined within Copland file
4. Want well defined "import" semantics so that place, type, etc. definitions can be defined separately and re-used/imported to multiple protocols