Error bound conditions and convergence of optimization methods on smooth and proximally smooth manifolds. (4th March 2022)