Update and rename tribool.hs to defs.hs