Type Directed Semantics for the Calculus of Looping Sequences