Refactor conversions from primitive types to String#27

Merged

danpoe merged 3 commits intomasterfrom

danpoe/refactor/primitive-types-to-string

Sep 9, 2019

Commits on Sep 9, 2019

Add conversions from primitive types to String to CProverString
danpoe
committed
Implement toString() methods of box types using CProverString methods
danpoe
committed
Implement String.valueOf() methods using CProverString methods
danpoe
committed