Types for Mobile Ambients