- Implementing basic learning from constraints (rules still need operator-clean up)