Allow types to be parameterized by traits

[sonmarcho]

The following is currently not accepted:

struct S<T : Ord> { x : T }