beginnings of attempted proof that ScaleInv satisfies the monoid action laws
remove unnecessary import
clean up shadowing warnings