Meaningful type variable names for named wildcards

When generating meta type variables for named wildcards, keep their names
intact. Also, change their names from _a to tw_a when generalising.