[ bug ] IMLL + lollipop is buggy

* The way we handle lollipop elimination allows for nasty fixpoint
  to be written. We *must* find an alternative presentation ensuring
  that a lollipop's argument is only ever produced without using the
  lollipop itself.