Enviar por SMS: Proper Functors and Fixed Points for Finite Behaviour