zodiac:extend-env

• (zodiac:extend-env extension env) -> void
      extension : (list-of (union new-vars marks))
      env : zodiac:env