Support nested quasiquotation

People keep asking about it, and it turns out that the same elaboration procedure actually works, so why not? I still can't think of a use case though.