Add human readable aliases to queries #72
Description
Add more human readable names to query types like
A<> Equivalent to Eventually
A[] Equivalent to Always
{{ message }}
Add more human readable names to query types like
A<> Equivalent to Eventually
A[] Equivalent to Always