Scala’s types of types