Remove explicit mentions of 'Proxy'.

It's still mentioned in Example.hs, but that's not
part of the library proper.