Lobsters: Type Construction and Cycle Detection