vim syntax highlighting for pnl
pnl file for the lambda calculus
almost all unification rules implemented