Variance of lifetime arguments in GATs

This and a macro to automate it seems like a good compromise.