The proposed change should not break too much code. The `.' is only
treated specially after a constructor. This will break:
tstpatp9 = (P_cons P_write.P_cons P_read) P_empty_list
because of the P in P_write but this will be fine:
proc_emulator f = prm_em.f
Since constructors appear relatively infrequently in compositions,
this should be a rather painless change in the syntax.
We did consider other punctuation besides `.' but almost everything is
taken or is visually unappealing; `.' has a certain amount of tradition
behind it.
John