Для макроса мне нужно искать внутри тела метода все вхождения PExpr.Ref, отвечающие некоторому критерию.
Как это сделать лучше всего?

Полный паттерн-матчинг по всем возможным PExpr-ам я уже писал, и еще раз мне этого делать не хочется

Если другого пути нет, имеет смысл создать библиотеку утилит для макросов (обход PExpr, макросы для удобной типизации и т. д.).