Use proper maps for PatternMatchingCtxt

Also add some helper functions

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Add skeleton code of interpreter

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>