Added rule for postfix operations.
Slightly improved treatment of sets.
Treatment of sets vs. applications.
Added html and emacs helper code.