Documentation

JD: For the new stack story, I want arguments passed on the stack to manifest as
positive offsets in a CallArea, not negative offsets from the stack pointer.
Also, I want byte offsets, not word offsets.