Add with expressions to IBC files

This prevents the following error:

idris: src/Idris/IBC.hs:(1546,13)-(1652,44): Non-exhaustive patterns in case