The compiler says an entire functor (all the contents of Make)
is "not included" in a named signature (PST).  How can I
localize the problem to some specific part(s) of the module?

Here's the code: http://pastebin.com/mWgxMVNm

And the compiler error message: http://pastebin.com/B0mAZhqw