Initial work on simple lambda calculus with recursive types.