Finish progress proof for Stlc extended with natural numbers