Slight refactoring; moving instances and types.

Instances are now all declared in BPL.Instances. Types are all located
in BPL.Types (rather than having some of them in the parser).
Restrict exports from Parser and Instances.