// Rename the HEAD and TAIL functions to TRUE and FALSE and give the
// parameters some user-friendly names. So
//   var HEAD = val1 => val2 => val1;
//   var TAIL = val1 => val2 => val2;
// becomes:
var TRUE  = true_part => false_part => true_part;
var FALSE = true_part => false_part => false_part;