Added a type signature to the _if_/_else_ syntax.