improvements to Force.hs