fin - возвращает any, если это атом, в противном случае CDR его последней ячейки.
(fin 'any) -> num|sym
: (fin 'a)
-> a
: (fin '(a . b))
-> b
: (fin '(a b . c))
-> c
: (fin '(a b c))
-> NIL
finally - prg выполняется, затем вычисляется exe, и возвращ...