Any advice on quick 'n EZ coding of something like these? allsupertypes(Irrational) == ( Real, Number, Any )
allsubtypes(Integer) == ( BigInt, Bool, Signed, Int128,Int16,Int32,Int64,Int8, Unsigned, UInt128,UInt16,UInt32,UInt64,UInt8 ) abstractsubtypes(Integer) == ( Signed, Unsigned ) concretesubtypes(Integer) == ( BigInt,Bool,UInt128,U Int16,UInt32,UInt64,UInt8,UInt16,UInt32,UInt64,UInt8)
