Quantify free variables