Remove CanCompile aspect.
Remove CanConstructors aspect.
Remove CanTy aspect.
Remove CanEtaExpand aspect.
Remove CanPats aspect.
Remove CanDisplayPats aspect.
Remove CanPretty aspect.
Remove CanReactive aspect.
Remove CanTraverse aspect.
Remove CanHalfZip aspect.
Remove ElimHalfZip aspect.
Remove ElimTraverse aspect.
Remove ElimConstructors aspect.
Remove ElimTyRules aspect.
Remove ElimComputation aspect.
Remove empty aspects.
Remove ElimCompile aspect.
Remove ElimPretty aspect.
Remove ElimReactive aspect.
Remove Operators aspect.