Updating big step semantics
updated tex file