Dave
There is a select sound card program in the control centre. Have you tried running it and selecting the hdmi output?
If it works this can be used to make configurations that switch using a udev rule on hdmi insert.
Not sure with the pulse audio installation errors, this maybe has something to do with a systemd dependency? Could you post the output from terminal and also the /var/log/apt/history.log?
Computers are like air conditioners. They work fine until you start opening Windows. ~Author Unknown