Update the dictionary translation to support MPTCs https://git.ps.informatik.uni-kiel.de/theses/2021/2021-lkrueger-ma/-/issues/5

- Many functions had to be updated to work with lists of types or idents instead of single ones.
- Super classes are no longer represented by qualified idents but by `SuperClassInfo`s. Functions defined in the class environment are used to work with these data.
- The identifiers for super class dictionary stubs, instance dictionary functions and instance method implementations have been changed to work with multi-parameter type classes and further planned extensions. An extensive comment explaining these identifiers has been added.
- Other comments have been updated to encompass multi-parameter type classes as well.