An out-of-the-box, customizable and multilingual theorem environment package for Typst with support...