Add skeleton of BindingsChecker.

This adds w.i.p on a BindingsChecker - a validator of a bindings
model. It contains:
- Issue module
- Checker/Validator
- TypeFactory method to create a PCollectionType (used in checker)
- Additions to Bindings model (multibind producers)