Consider new syntax for type constraints

[tadeuzagallo]

So far, the best I could come up with was the following

// Printable t, List t 
interface PrintableList<T: (Printable, Foo)> {
  virtual printList(List<T>): Void
  virtual printNumericList(List<T: (Numeric)>): Void
}