Towards a Constraint-Based Framework for Physical Theories | Synapse