fix typo in variable declaration in example

[Swiftb0y]

I noticed this while learning lean through the documentation. The declaration of tp seems like a typo to me.