Describir: On the K-theory of Z-categories