Added an implementation that maps dimensions on the type level to dimensions on the term level in a preliminary form.