Expose Engine* type signatures.
Migrate type signatures of Interpretation monad, related to EngineM.