Cramps can really mess up one's sleep.
I posted [url=https://connect.mayoclinic.org/discussion/night-cramps/?pg=2]here[/url] about my problems and some kind people replied.
Since then, touch wood, the problem or at least that problem, has gone away.
What I began doing on the recommendation of a neighbour, was drinking a 6oz glass of tonic water after dinner. Tonic water contains quinine, and that's supposed to help with cramps.
Worth a try.
As regards leg warmers, good idea. We are adopting a cat. She arrives tonight. Be a while before we can evaluate her leg-warming qualities.