changed constraint-generation for names to support fields (partial) and fixed and error in the result set merging (applied the mgu to the binding requirements and declarations)