match typed expressions and isInstanceOf[...]

- add saved type to values
- implement isInstanceOf method
- implement matching by typed expressions
- add typed matching tests
- move DummyMethodValue functionality to MagicEmulator
- fix _ (wildcard) not updated in same lexical scope