Typed Mobile Ambients in Maude