I don't know if it's the same as what you're talking about, but I can choose a range for an internal port and for external port (there are External Port Start and External Port End, and Internal Port Start and Internal Port End), and I can use 80 or 443 for the internal port while using a different one for the external port.  Is that what you mean?