Allow for nonfloats to be presented as strings.
Use pretty print version of char2string
Fixed issue with xplicit quantifiers in contract implementation
Implemented sequence for range
Some tests too