Mithril Counter with Auto-Increment - Mithril-js Typing CST Test