Fix regression of type conv formatting.
Check binary operands are single valued.
Fix typed bool result of && and ||.
Check non-const binary expressions.
Check non-const binary expressions test gen.
Implement new binary ops evaluators
Allow nested anon comp lits in arrays/slices