modified:   hedge-type.hs
        finished resolution for ha-based propositional logic