Add builtin in doc
Fix documentation for links after CHECK for #20