streamlines typing error messages and fixes bug in super->subclass "auto casting" when the sub-classes are part of a union. If the super class is a super class of any of the union args then it is ok.

Author: tclose