[ new ] Positive IR: cleaned-up version

* This file relies on @copumpkin's library for category theory.