improving simplicial.lean