----------------------------------------------------------------------

rElimUnit :: Bind Nom Value -> Value -> Nom -> Value
rElimUnit _P ptt u = VNeut u (Pipe Id (EElimUnit _P ptt))
rElimUnit :: Bind Nom Value -> Value -> Nom -> Value
rElimUnit _P ptt u = VNeut u (Pipe Id (EElimUnit _P ptt))
rElimUnit _P ptt u = VNeut u (Pipe Id (EElimUnit _P ptt))