I think I'm settled on the Yamaha YC88.
It has a very nice keybed, and I want to practice playing more than I want to program sounds.
But also it has AWM2 and FM-X sounds in it, so one can probably figure out a way to load custom patches into it, and make it fully programmable.