Associating synchronization constraints with data in an object-oriented language