Modified NFAe.hs connectives