ligd-extensible: Add missing "-> Bool" to Haskell encoding of example
emgm: Swap around some definitions so the listing can be shorter