Constraints now an instance of Hashable