Add comparison for non-numeric types.
Add sugar for null coalescing.
Remove unreachable code.
Convert AND and OR into sugar.