more updates to record types in agree