added a Homotopic module slice macro, setup slice on HM to be a coradical