Fixed compilation with new kindVars (missing bitraverseScopeTK still)