Split Bvar into a Name and Space pattern. More like PLT Redex.
Moved alloc skeleton code.