BinaryExpression folding — all binary operators.
1 + 2 → 3, "a" + "b" → "ab", 5 & 3 → 1, 1 === 1 → true.
1 + 2
3
"a" + "b"
"ab"
5 & 3
1
1 === 1
true
Some(1)