juliatypes.jl: candidate algorithm for subtype with UnionAll