Adding support for strings using big step semantics