* Fix 'foreign export' and 'foreign export dynamic' so
  that we can export pure (non-IO) functions as well as IO-ish ones

  NB: There's a change to PrelIOBase, so you'll
      need to recompile the Prelude

* Add Type.mkDictTys and call it in various places.