Better explanations for generation.
Support quantifiers and change LTL for activate.
Improve error message.