Update comment for bindTyVarsClause (#37)