Fixed an issue with generics not allowing for twelf declarations inside them
Updated the code for the repetitions example