Adding support for upgradable mutexes to LockTraits