Essentialy, this method just swaps members of a Sum type:
not: e `S` ee `AR_` ee `S` eCould be used with unwrapped Boolean, Optional, Progress expressions.
rewrap not `he` True _ `AR___` False _
rewrap not `he` False _ `AR__` True _rewrap not `he` Valid _ `AR__` Error _
rewrap not `he` Error _ `AR__` Valid _rewrap not `he` Some _ `AR__` None _
rewrap not `he` None _ `AR__` Some _