new file:   hedge-type.hs
        defined the basic framework for hedge algebra