Wyślij wiadomość: Proper Functors and Fixed Points for Finite Behaviour