I think ProxyJump is a nice way to explicitly state that you want to jump hosts, but this is currently possible with ProxyCommand, such as the following...
Host appserver1
ProxyCommand ssh bastionhost.com -W %h:%p