Cryptol.Parser.Utils
translateExprToNumT
widthIdent