Cryptol.Eval.Type
evalType
evalValType
evalNumType
evalTF