Merge pull request #58 from matthayes/master

Add Nondeterministic annotation where appropriate
add In filterfunc and tests; update .gitignore to remove eclipse-related generated files
Merge pull request #59 from william-g-vaughan/master

add In filterfunc and tests; update .gitignore to remove eclipse-related...
Add changes.md
[ci skip]