Revisiting occurrence typing.