A big use case will be to tell the LLM what the type of an expression is.