More Imp cleaning
More Imp cleaning

Still not sure how best to deal with existentials, but I think I'm
starting to get the hang of this style

GallagherCommaJack/software-foundations,GallagherCommaJack/software-foundations