add clause-name to define-metafunction, to be used with the
newly extended metafunction-cases