Add specification-based testing for func<'a, 'b> data structures
Add examples.fsx for experimentation