[ new ] quoteContext now returns a list of `Arg Type` instead of a list of `Name`
Merge branch 'master' of https://github.com/jespercockx/agda