Typing mobility in the Seal Calculus