Add some rudimentary documentation on overriding builtins