A tangle plugin for creating new tangle plugins