Humane programming languages