Serialization of constraints, package 'model'

This branch is about serialization of constraints. It contains package 'model' and its unit test classes.