Before, we often had to insert awkward casts when using them. Also, the generality of also having them on Type, is probably not useful.