Constructor Dimensions' -> Dim'.
Simplify type of toSIBasis.