Disentanglement with Biological Constraints: A Theory of Functional Cell Types