Added a documented example for validate. Added file impl_config.hpp to choose an implementation for the implementings sets and maps.