Improve generic parameter parsing

[RalfJung]

The generic parameter parsing is kind of a clutch currently, as can be seen in particular from the requirement to put ; between the type and const generics. We also currently do not support lifetime generics.