Almost finished separating GV type checking from translation to CP.