Currently provides an interface for looking up Lean definitions by name