fix mutability check in RecordType
docs