Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach