A bit more efficient extraction of head variables in meta-argument positions