+ further refinements to completions, retain last used kind, ignore kinds when not applicable, #230, #255