TermProject patterns simplify projection of sub-terms. A strategy application inside a match pattern selects the corresponding sub-term and applies s to it. For example, instead of writing 
<verbatim>
A : Typed(Var(x),_) -> x
</verbatim>
it is now possible to write 
<verbatim>
A = ?Typed(Var(<id>),_)
</verbatim>
This feature can also be used to perform tests on subterm in a
match pattern, e.g., the pattern 
<verbatim>
?[x | <not([])>]
</verbatim>
binds the head of a list to =x=, checks that the tail is not empty and produces the tail as
result.