Typed-assert: A typesafe TS assertion library · HackerTrans