Finalize type checking (with debug print)