Typing and subtyping mobility in boxed ambients