additional families for genltl
I'd like to support the families of formulas that are used in the experiments of https://www7.in.tum.de/~sickert/publications/SickertEJK16.pdf working with two parameters probably requires some changes of the API, but at least the formulas with a single parameter are straightforward to add.