Add 'force' (opposite of 'lazy')

Used now in boolElim to ensure that thunks don't build up unnecessarily
(and this is the intended semantics of if...then...else anyway).