Clarify attributes and exit signals in the language