Title: Graded steps in typescript/manuscript