Narrowing and demote

let src = read[./src]                       // a handle to just that folder
helper(demote(src, read[./src/lib]))        // hand over less power

A smaller bracket is visibly inside a bigger one: that is the subtype idea in the syntax. demote gives a function less than you have, and there is no way back without a token.