If Church numerals’ unary representation bothers you, there is an efficient embedding of naturals in λ-calculus as linked lists of Booleans. Well, more efficient than the alternative…

http://useless-factor.blogspot.com/2007/04/thoughts-on-churc...