[S02] Get rid of Polymorphic Types

The idea was novel, but sadly it introduces a terrible set of
consequences. Additionally, no-one ever implemented it, and it's never
been really necessary.

Also, the pipe character was already in use in other ways. That's just
untenable.