Type Alias DynTranslator 

pub type DynTranslator = dyn Translator<VarId, ScopeId, Message>;