A Hybrid Type System for Lock-Freedom of Mobile Processes