Constrain type of CompletionProposal