Fixed while notation. For and try notations still have type inference problems.