Misc. upgrades

Make the `Show` instance conformant:  now it produces copyable Haskell code.

Make pattern-matching on `N` stricter for greater safety guarantees.

Give `N` derived `Bounded` and `Ix` `instance`s, like it should have.