Added PVConstriantHolder and Spec for this class.

not fully implemented yet.
fix  init
Add pre-conditions
Initial constraint holder test added
Switched from asserts to exceptions
Additional tests to Context
Minor code reformating
Merge pull request #8 from DAlOG/extract-holder

Extract holder