Added a first draft of the pattern matching algorithm
Seems really light though. The terms used are "dummy terms", they're temporary
while we wait for a "standard" term representation