A calculus of expandable stores