Fix doctest test for haddock 'prop>' markup
Add test properties for notFollowedby