Declarative Partial Updates Proposal · HackerTrans