ToSIBasis class (might deserve a rename).
Small `show` refactor.