Concept Induction

Obviously we can observe the induction of semantics from the CodomainT parameter into the instantiations of icl maps.

	is model of	if	example
`Map<D,Monoid>`	`Modoid`		`interval_map<int,string>`
`Map<D,Set,Trait>`	`Set`	`Trait::absorbs_identities`	`interval_map<int,std::set<int> >`
`Map<D,CommutativeMonoid>`	`CommutativeMonoid`		`interval_map<int,unsigned int>`
`Map<D,CommutativeGroup>`	`CommutativeGroup`	`Trait::is_total`	`interval_map<int,int,total_absorber>`