Fix bug in variable expansion in the Simple solver
Change naming for TwoContext solver.
Export a concrete TermM from MonadTerm.
Fix bug when eta-expanding metas.
We don't need sequencing of constraint, just use JM.