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