Add has_subtype/2

Make it easier to detect subtypes based on arbitrary/2 definitions.