rElimBool :: Bind Nom Value -> Value -> Value -> Nom -> Value
rElimBool _P pt pf b = VNeut b (Pipe Id (EElimBool _P pt pf))
rElimBool :: Bind Nom Value -> Value -> Value -> Nom -> Value
rElimBool _P pt pf b = VNeut b (Pipe Id (EElimBool _P pt pf))
rElimBool _P pt pf b = VNeut b (Pipe Id (EElimBool _P pt pf))