Enviar por SMS: A Unifying Framework for Tractable Constraints