Made the Dimension' constructor strict in all its fields

There's no point to laziness here. If we know the dimension we know all of these `Int`s, and we're almost certain to want all of them if we want any of them.