Simplify syntex in tests
Use existential operator where possible
Add index file
Add README and test code samples