Implement conversion from Bit to Formula in MonadSAT