Host.linearization was plain wrong

SLS defines linearization as a function from a class template to a list
of types. Therefore, since we already have Host.supertypes, we don't
need Host.linearization.