Projection of a rule application to its focus (the term or formula that the
rule operates on, that for taclets is described using \find,
and that can be modified by the rule). Optionally, the projection can walk
"upwards" towards the root of the term/formula