CTAN update: typed-checklist