CSP code type checker
