https://numbas.mathcentre.ac.uk/question/44550/infer-types-for-variables-in-mathematical-expression-parts/embed/