define identity elements for monadic use of dyadic cat,minus,times