typing mathjs