Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion