Delete namespace

Delete a namespace and all its associated functions. The namespace must be empty before it can be deleted.