Simplify integer promotions.
Be more careful with void in the frontend.