Change the order of the three arguments to Dim so that we can write
instances for Dim's numerical value argument, which is its
representational type argument.

  was: Dim n dim lcsu
  now: Dim dim lcsu n