Mapping from dimension names to lengths.
This dictionary cannot be modified directly, but is updated when adding new variables.