/* Lightweight pattern matching for lists of strings
 *
 */
var $ = require("./tools.js");