Export a concrete TermM from MonadTerm.
Fix bug when eta-expanding metas.