krSpec :  define specs directly in synthdef