improved records (tuple type instances)