Developing (Meta)Theory of lambda-calculus in the Theory of Contexts