I don't think Typst fits in this list. They never claim to be some sort of markdown or have any overlap with it, and their core product is the compiler, not the language. Just because they added some syntactic sugar that sometimes somewhat resembles markdown doesn't make it a competitor.