S <: T means that S is a subtype of T. This is also called an upper type bound. Similarly, S >: T means that S is a supertype of T, a lower type bound.
S <% T is a view bound, and expresses that S must come equipped with a view that maps its values into values of type T.
It’s confusing for me too, and I have a Masters in programming languages from Berkeley.