Type-based Self-stabilisation for Computational Fields (Logical Methods in Computer Science, 2015)