Checker/LambdaP: data type