commits
forgot file
minor changes
Add SymbolicInteger subtype test example
symbolic_int_subtype: Add example with restricted set of functions
puzzle example
fix up the wrapping
Merge pull request #6 from thpani/merge_symbolic_int_subtype

Example: SymbolicInteger < int subtype check
add new examples and fix up plumbing
generalized to arbitrary operations (unary, binary, ternary, etc.)
PDF of tutorial lecture
example that shows path coverage is missing
minor mods
Merge remote-tracking branch 'upstream/master'