Clamp Type Checker