Modified triggers and functions to work in the EngineM monad. Added more top-level definitions, including a compiler message processor as well as a placeholder for a compiled wire description.