> lowers how much propellant you need to bring to the moon by a lot

Rough estimates? Mass drivers make sense. I haven’t seen the numbers for just compressing and leveling regolith.