Initial draft of restructured text materials for lambda calculus module