If I ever write a paper about linear types and Luau, I'm going to be in trouble. Luau (in common with, e.g. TypeScript) uses & for intersection, not additive conjunction.
@asaj Guess your paper will have to be about Why These Are Actually The Same Thing, If You Look At It The Right Way. Sorry!
