Add SymbolicInteger subtype test example
symbolic_int_subtype: Add example with restricted set of functions
Merge pull request #6 from thpani/merge_symbolic_int_subtype

Example: SymbolicInteger < int subtype check