Filled in the blanks to get the String spec tests to pass
Added two new tests for succ and tr
- checked incrementation with succ
- checked substitution with tr
Assed more tests of succ