doc and renaming stack to scopes
test for dup
Dup is now a splicing transform, no more ambiguity!