Term.Maude.Process
data MaudeHandle
startMaude
getMaudeStats
unifyViaMaude
matchViaMaude
normViaMaude
type WithMaude