Test that PT algorithm derives principal types

- Add principal types for the example combinators.

- Add tests to check these match the types derived by the PT
  algorithm.