Replace monomorphised examples and exercises with generic versions #11
Description
The book makes extensive use of generic data structures, but this is currently not supported in Gobra. Because of that, we monomorphised all examples (more precisely, we instantiated all type parameters with int). When viperproject/gobra#671 is merged, we should replace the monomorphised implementations by the generic one.