refactoring to generic-equations...
Kleene-solver doesn't work with slsets yet --- some bug in unfolding perhaps