Prove that Statementize results in a Lifted ast

[hackedy]

Some of my Ltac is a little weird compared to the rest of the stuff in the file but I proved the last little bit of the theorem.

[jnfoster]

💪