 | Evaluation of formulas under a model and an environment. This
-- function is total only for finite models.
eval :: (Eq a) => Formula -> Model a -> Env a -> Bool
eval FTrue _ _ = True
e
eval :: (Eq a) => Formula -> Model a -> Env a -> Bool
eval FTrue _ _ = True
eval FTrue _ _ = True