Updating syntax.tex to include library functions, updates to operators, changes to types