Remove obsolete builtins

We don't need these builtins anymore.