Instruments for compensation of ocular refraction; Instruments for use in cornea removal, for reshaping or performing incisions in the cornea