Well, think about the semantics. If I have a production that has a particular label of arity N and it's a function, then any time I rewrite something to that klabel it will evaluate the function. Which means you can never actually match the non-functional production that has that label, unless it has a different arity, which is just weird and we don't want to support that. So yeah, I think it makes sense to do that. But we can discuss it on Monday briefly if you want.