added hpx-mutex type safety