Add Term.semantic. Math Expressions like 1 + 2 + 3 can now be deduced at compile time.