get rid of extra argument for mkEasy
better logging for TRACE9
avoid code duplication on rule IFARG
inline also symbols with depth 0
don't duplicate code with rule CASEARG
inline State-functions