WYIL: modified the way that strings are represented in the theorem prover.