Static Environment for Macro Definitions

[almann]

Define the model/API around typing Macros and how they map to an Ion 1.1 module. What is not in scope here is how the local macro table is set up--that is technically out of scope, but it does provide the typing environment that makes it possible to evaluate E-expressions against their reader/stream context.