M3: Mobility Types for Mobile Processes in Mobile Ambients