Ali, What they did do in certain instances, including Wheal Leeds was do the base of a batcastle and then slab over the top instead. So, they'd put in a couple of beams, put boards over the beams, sit concrete rings on the boards/beams, fill the outer bit with concrete and then board over the top and put a 15cm thickness of concrete.
From what I've seen, it seems that the circular batcastles (think the couple of new ones at Consols) are used for smaller shafts and plugs with identity sleepers are used for choked shafts. (Think Peevor and Consols).
The planning report on Cornwall's Biopark runs through the mathematical design of shaft plugs in great detail, but I think in practice, they just put some beams in, then whack a F-Load of concrete on top, having previously coned the sides out. I had an old carnon chap tell me that they used a depth of concrete 3x the shorter dimension of the shaft as a rough guide.
Doing a decent and well designed shaft cap need not be stupidly expensive, or overkill. I have a good mate who would be able to advise in the SW.
It seems to make sense having a polystyrene core. I'd personally use something like 2 part expanding foam (PU).
Give me a shout if you are interested in capping in Cornwall. It's not an impossible challenge. I know a good mining engineer who is currently not doing mining engineering and would probably come around and have a look gratis.