Working on the patch part
renamed sourcestate -> signatureState
        sinkstate -> deltastate
the haskell accompanying haskell code