Cryptol.TypeCheck.Defaulting
tryDefault
tryDefaultWith
defaultExpr