Extend seec::cm::AllocaState to store parent state, unmapped state, and Decl,
and to support retrieving a mapped Value for the alloca.