Support multiple bounds on type variables