There should be a predefined set of generic type constraints that either cannot be represented using type information with the current syntax. Here are some examples of "metatypes" that should be implemented:
foo<T: Number>, where Number is Add + Subtract + Divide + Multiply + ..., etc.
foo<T: ToRef>, any type which can be used in conjunction with ref or deref.
There should be a predefined set of generic type constraints that either cannot be represented using type information with the current syntax. Here are some examples of "metatypes" that should be implemented:
foo<T: Number>, whereNumberisAdd + Subtract + Divide + Multiply + ..., etc.foo<T: ToRef>, any type which can be used in conjunction withreforderef.