Allow for partial function overload in PType definitions

[pictyeye]

For example, it would be useful to write:

struct t = {
...
} where parse_t input =
  ...
and dump_t buf t =
  ...