Free variable extraction from expressions.