Do not use FormattedString

It was never documented and has long since been deprecated.

Without this, this package won't load when one starts gap via "gap -O"

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/homalg-project/gradedmodules/19)
<!-- Reviewable:end -->