@jcliff
"send" and "crypto/tokens" are useful abstractions though and not at odds with the underlying implementation details you talk about at all. when a state change in the balances of two addresses is updated, it is useful to think of and express the real world implications such as value being transferred.