Fixed errors in comments describing the Church encoded numbers, Also added comment for the Succ function