shouldn't the constraint system be fairly trivial ...
# random
k
shouldn't the constraint system be fairly trivial if the lhs is a string and you can only add strings to strings?