Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields