Zaslat SMS: A Unifying Framework for Tractable Constraints