looks similar to http://i.webscale.info/lipl/core.html except that LIPL doesn't have pattern matching