builtins.md: fix many errors

ngirard requested to merge ngirard/ion:ngd-fix-builtins into master Aug 15, 2019