Compiler [Typechecker]: Retain remap state when A - (B|C). Fixes lost state mapping for push_type_attribute().