Add TODO
Add Transaction.forkScratch. Use it to check type-safety of certain changes before allowing them