Added recursion principle for suspension.
Incomplete attempt at showing that this definition of propositional truncation doesn't actually truncate the way we want it to.