Code mobility meets self-organisation: A higher-order calculus of computational fields