Cryptol.TypeCheck.Unify
type MGU
data Result a
data UnificationError
uniError
emptyMGU
mgu
mguMany
bindVar