Extreme branchless: Expr without GADTs or sum-types