Optimizing scoring functions and indexes for proximity search in type-annotated corpora