initial env setup and big step semantics