more writing/editing on anafunctors & finiteness