First attempt at deBruijn and Lambda typed.