First version of matching an abstract pattern with a concrete term
Added missing import
Commented out incorrect example

TODO: adapt Tutor page
Added import