some development on P1eda; with some bug fix on identical lemma linker, etc