Statically Contextualizing Large Language Models with Typed Holes