Add first bits of value stack implementation, smaller improvements