update top-page cabal documentation.
export type synonyms for dimensions.