Raise a better message for ctc generation in TR

This provides a better explanation of contract generation
failures for module-provided bindings.
Revise Scribble docs for the new package system

Replaced mentions of PLaneT with the new package system
in sec 4.1 of the Scribble docs.