pub fn atomic_subtype(sub: &Atomic, sup: &Atomic) -> bool
Structural sub <: sup for a single atomic pair, without hierarchy resolution.
sub <: sup