Make inverse rewrite laws for pseudofunctor