Cleanup extensions directory

This moves several things -- or deletes them -- from the extensions directory. Since this will be the point-of-reference in the proposals I would rather not confuse people with interfaces we weren't using, or using very seriously, like `core.DID`.