Added indexed set generator code.
Converted to an indexed set for constraint sets.
Merge branch 'master' of github.com:DaMSL/K3-Core
Merge branch 'master' into haskellcg

Conflicts:
	K3-Core.cabal