Replace "monomorphised" lemmas with generic versions #17
Description
The usability of the library is limited by the fact that all lemmas that we have are not generic. When viperproject/gobra#671 is merged, we should generalise all "monomorphised" implementations by the generic one.