Equivalence class UI hooked up
Merge branch 'Integration' of https://github.com/prmr/Creco.git into Integration