fixed strings in RESOLVE and added a toString method to ProgramCharExp, ProgramStringExp and StringExp