A Few Ideas That Organize Dewy

Types describe values. Ordinary value boundaries preserve independence; @ makes access to a place explicit. Start with a small value-copy example:

let source = [42]
let copy = source
copy[0] = 0
printl(source[0])

Read values and places, then functions. Design guarantees extend beyond this example; see coverage.