tweaking sigs
tweaking sigs to remove p ? e1 : e2 -- use if p then e1 else e2 instead.