Add builtins for CCheck{type,perm}