Initial commit of a generic concept checker.