clp-typechecking
