Add hack to workaround the unused arguments problem in HIT
Change Sigma= to =Sigma because it makes more sense and I need Sigma= for something else, and split lib.types.Pushout in two