Adding support for typechecking conditional operators