v2 of bench/Main.hs seems ready to test
make Expr use Char to ease generation for liquidcheck and smallcheck