Remove warnings

Maybe this commented code can be deleted?
Fix typos
Remove redundant directives
Add type sigs to prevent EclipseFP problem with OverloadedStrings

I don't like changing sources because of tool issues, but this is a harmless type signature, and it prevents EclipseFP failure when type checking an OverloadedStrings module (which, during incremental type checking, somehow causes EclipseFP to also type check ShowHS with overloaded strings)
Move plainText to SharedAmongChapters
Add utilities for handling multiple-language strings
Add sections for process rules and invariants to data analysis chapter
Correctly determine process rules and invariants + Add derived rules
One label per predLogic equation (instead of for every line)
Don't show (Latex-specific) header-includes in rtf template
Add showRtf
Show predLogic rules for rtf output
Merge pull request #13 from AmpersandTarski/show-rules-in-data-analysis-chapter

Show rules in data analysis chapter