Along with that, given a "type", how can I tell if it was defined as a class or a role?
say Rat.^roles; # ((Rational[Int,Int]) (Real) (Numeric))
By default it includes every role, including roles brought in by other roles. To only get the first level use
Rat.^roles(:!transitive); # ((Rational[Int,Int]))