SuperTypes in SimpleType refactored to detect restrictions from other SimpleTypes.