Redesign to include extra references to locks in
order to get necessary information for propagating
priorities and reseting priorites when unlocking
mutex. Unfinished, untested, uncompiled.