Typecheck a project that has typed holes...