splitted the monolithic program into the following
        modules:

	new file:   HedgeClass.hs -> Hedge algebra typeclass
	new file:   HedgeTruth.hs -> parametric Truth value
	new file:   Ahedge.hs -> a concrete hedge algebra
        new file:   ProsLogic.hs -> a rh-based propositional
        fuzzy logic
	new file:   AlphaResolution.hs -> implementation of
        alpha resolution on rh-based propositional logic
        with hedge algebra domain

	renamed:    hedge-type.hs -> hedge-original.hs ->
        original working file
	new file:   testground.hs -> self-explained