Describir: Proper Functors and Fixed Points for Finite Behaviour