Cryptol.TypeCheck.Solve
simplifyAllConstraints
proveImplication
wfType
wfTypeFunction
improveByDefaultingWith
defaultReplExpr
simpType
simpTypeMaybe