the `when` here isn't necessary since the only other atoms allowed in the `expect_token` call above are those three