- explicit enum casts in source are converted to size casts - conversion for basic pattern array literals of unsized numbers - unsized number array literals preserve signing - more aggressive ternary simplification