Fixed Isabelle export of shading and outer zones. Added more regression tests for Isabelle export of formulae.