Fix freeVariables when descending into binding introductions.