Fix type error in examples/Karatsuba.cry.
Fix type error in examples/Karatsuba.cry.

The error was caused by the recent change of the type of `demote`
when class `Literal` was introduced.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol