added version of weqimplimpl to hProp