Let us say I want to automatically define subtraction given that addition and negation are defined. I tried the following using mixin templates. If I simply mixin the template using "mixin sub;", then it gives the error[...]
Did you try changing the `: "+"` constraints to `if` constraints?