I am going to answer my own question, since I solved it with some extra feather grass. Hope this helps someone else along the way.
I did not find the code to simply add the basket to the top of the checkout page. I had to edit the template file directly.
So I copied:
/wp-content/plugins/woocommerce/templates/checkout/form-checkout.php
in
/wp-content/mytheme/woocommerce/checkout/form-checkout.php
to make my changes to this file directly so that I don’t lose them when updating WooCommerce. Then I copied the form code from:
/wp-content/plugins/woocommerce/templates/cart/cart.php
And pasted it into a file that I copied to my themes directory:
/wp-content/mytheme/woocommerce/checkout/form-checkout.php
where do i need a form.
There may be more elegant ways, but that fixed my problem.
source share