checkpoint
Basic support for implementing multiple contracts on the same class. Needs support for scattering all contracts.
Merge branch 'multiple-contracts'