Cryptol.Parser.Utils
translateExprToNumT