The type semigroup, comparison, and almost finiteness for ample groupoids | Publicación