Updating the rest of the code to use new aleph/manifold versions