remove redundant HTrue and HFalse constructors