Interpreter: when evaluating type bindings, allow bounds to be set

[joey-coleman]

Overture allows min/max bounds for numeric type bindings during evaluation, this needs to be exposed in Symphony.