Literal Type Analysis