Function OKcol

* Check if `y`^th column is valid * @param a ::sudoku to check * @param x ignored row * @param y column to check * @param v value to check if it repeats * @returns `true` if valid * @returns `false` if in-valid */