42 -> 42
42487354877264535 -> 42487354877264535
((λrr)42) -> 42
(33 44) -> number as function
((λi(i42))(λrr)) -> 42
(((λi(λjj))13)17) -> 17
(((λi(λji))13)17) -> 13
((λt(λjt))13) -> can't print function.

((((λt(λi(λjt)))13)17)24) -> 13
((((λt(λi(λji))) 13)17)24) -> 17
((((λt(λi(λjj))) 13 )17)24) -> 24
((((λt(λi(λjj))) ; Establish parameters
; test code here
13 )17)24) ; values
; above yields 24

((H 8) 9) -> 9
((K 8) 9) -> 8
(i 41) -> 42
(d 1000) -> 999
(((z 5) 1) 2) -> 2