Tweaks to initial parts of paper.
Fixed LaTeX for FUNION.
Removed generated file itp2014.tex
Git-ignored .bbl and .blg files.
Merged
Fix mydef -> definition tweak.