add LambdaPi http://www.andres-loeh.de/LambdaPi/