Add possibility to check whether a type contains another type
This is mostly interesting for UnsureType at this point, which is comprised of a list of types and equals() would require all of them to match. contains() allows to check whether a type is in the list.