Documentation

Qq.ForLean.Do

Make Lean.Elab.Term.extractBind public.