IBM filed many many different keyswitch patents, very few of them got used. For one, if it was a Lexmark switch, why subcontract the manufacturing to a specialist manufacturer of specialized switches?
I'm betting that it's some sort of linear switch or another. Maybe not a hall effect one, but I'd be very surprised if that switch was a plain 'ole rubber dome.