I like my tools to have as much types generated from context as possible (types from OpenApi, from graphql or from sql queries) and was looking to build a tool like that for handlebars. Idea being that it would tell you which types the template variables used so you could avoid stupid errors at compile time.
It seamed handlebars could provide an AST, but it was kinda hard to used so I scrapped the effort.
Maybe this would be more condusive?