new formatting for bultin-functions appendix
table for operators, and other formatting tweaks
Merge branch 'master' into builtin-funcs-again

Conflicts:
	dfn.tex
Merge pull request #7 from BayesianLogic/builtin-funcs-again

new formatting for bultin-functions appendix