Replace Bool helpers with Reveal_is_/inspect