“A thief must make full restitution for what is stolen. The thief who is unable to pay is to be sold for his thieving. If caught red-handed with the stolen goods, and the ox or donkey or lamb is still alive, the thief pays double.