A Calculus for Reconfiguration (Extended Abstract)