RFC: macro expansion in patterns