i'm looking at the declaration of

SingletonRule

and it looks like it doesn't check that the

value

arg matches the

output_constraint

arg. with the usual caveat that the type checking will occur in the engine at some point, would it be useful to add a line that checks if

Exactly

constraint matches the

value

arg so that error is signalled during construction?