added test for cast matcher behaviour
introduce narrowing matcher
tests to express behaviour of NarrowMatcher
tests for unreadable property behaviour