added version of weqimplimpl to hProp
Merge pull request #26 from benediktahrens/hprop

added version of weqimplimpl to hProp