GitHub #27: Add tooltips to builtins