Stage the Poly/ML interactive system to know about built-in modules.

In particular, Binarymap is built-in from the very start, and PP (an
overloaded name for HOLPP) is available once the kernel is loaded.
Progress with grammarLib parsing and subsequent HOL definitions