Idea for setting both mutables and immutables without allocation

Yes, this sounds really good. I recently noted how DifferentialEquations.jl has two implementations for each method for this very reason:

If the := syntax could really work, it would be a major win for packages which provide performant yet general code.