ProvenPin this week: stricter checks and more honest version answers

Week of Oct 23 to 29: TypeScript recipes now face a strict type-check, the version check got two fixes, and Python receipts list every installed package.