redox: a "sane" programming language