add discriminators between the (now) three different types of workbenches: universal, model, and individual; differently launch workbenches depending on arguments; work on #192
add discriminators between the (now) three different types of workbenches: universal, model, and individual; differently launch workbenches depending on arguments; work on #192

geneontology/noctua,geneontology/noctua,mugitty/noctua,geneontology/noctua,mugitty/noctua,mugitty/noctua