Types for the Ambient Calculus