A tangle plugin to generate new tangle plugins