Generate more syntax

Re #450.

> The reason is that I noticed that there are some TODOs left

@larsrh, what else did you have in mind?

We can have `LiftV`, but only by asking for the typeclass, it seems, else `lift` of `A => F[B]` infers as `F[A] => F[F[B]]` and `F[A] => F[B]` equally well.  I think.