adding typecheck_main(); changing selfChecker definition;