Implement the typechecker for lambda-pi

[fizruk]

Now that we have generic $\alpha$-equivalence for the free foil and manually implemented one for the foil, it should be easy to add the typechecker to the demo implementations in the lambda-pi package.