Adapts to PresentationCompiler API changes

I don't like the fact that we need to create a fake unit this way. Does it serve any other purpose, or it's simply forced upon us by the `problemsOf` signature? I'm happy to revert that change if it makes life easier here.