evaluator: string literals