A hybrid type system for lock-freedom of mobile processes