এই পাঠটি: An algebraic approach to multi-sorted constraints