New syntactic sugar for applying reflection-based tactics

tactic f  --> quoteGoal g in unquote (f g)
tactic f | e1 | .. | en ->
	quoteGoal g in unquote (f g) e1 .. en
[ tactic ] release notes
[ tactic ] test case