Fix L.K3.R.Options to work with the new optparse-applicative.

An altogether unnecessary fix to an altogether avoidable problem.
Added some simplification routinesto manifestation.
Merge branch 'master' of https://github.com/DaMSL/K3-Core
Fix L.K3.R.Options to work with the new optparse-applicative.

An altogether unnecessary fix to an altogether avoidable problem.
Merge branch 'master' of github.com:DaMSL/K3-Core
Added inline bugfix for parsers-0.10 buildExpressionParser function
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 focus/cpp
Add stubs of imperative transformation types and functions.