Reworked types and the point of exit.