Although the following function declarations are technically allowed:

```
define function Foo(t Integer)
define function Foo(t Choice<Integer, Decimal>)
```

Doing so results in a potentially ambiguous overload and should be discouraged. Add language to discourage this and consider deprecating this capability.