- added garbage collection for message specs
- added automatic initialization of direct sensor fluents
- fix: properly handling subterms for boolean fluents -> supports ? in messageSent
-