Add more human readable names to query types like `A<>` Equivalent to `Eventually` `A[]` Equivalent to `Always`
Add more human readable names to query types like
A<>Equivalent toEventuallyA[]Equivalent toAlways