Sorry for the accidental downvote. I meant to upvote because I have been thinking about (more formal) music notation on and off for years, too, trying to come up with a better format than Lilypond.