$Abbreviations are a list of string substitution rules
used when generating names for storing intermediate results. It is used
by OneLoop and PaVeReduce. The elements of the
list should be of the form "name" -> "abbreviation".
Overview, Abbreviation, OneLoop, PaVeReduce, WriteOut, WriteOutPaVe.