Free variables visitor now handles transparent identifiers.