Add strict sql translation.
Closes #44. Also mapped many more basic infix functions
Be more explicit about number of args.
Closes #111
Fix doc buglet that was causing latex compilation to fail
Merge branch 'master' into cpp-default