use local type aliases in all generated code for proposals/completions