If.else, Return.expr, TypeBounds.lo and TypeBounds.hi are now non-options