Several improvement related to environment handing:

  - Better representation of wired-in and primitive stuff
  - ModeDefn is pretty printable
  - Minor bugfixes in pretty printing iface stuff