Merge pull request #5 from DanGrayson/master

needed but trivial changes -- "apply pr2" doesn't work at my end.
op precat
stuck in op_op
need product from pullback
Merge branch 'master' of github.com:benediktahrens/rezk_completion