Causal Type System for Ambient Movements DRAFT as of July 7 , 2003