The Interactive Configuration API introduced by #5 contains some terminology we want to revise: - [ ] the term "leaf" or "leaf class" is sometimes not used correctly - [ ] complete/partial constraints: this naming is not very clear and could be revised if we have a good idea
