added version of weqimplimpl to hProp

just another version for convenience, called logeqweq