[ new ] quoteContext now returns a list of `Arg Type` instead of a list of `Name`