fixes: eq/leq for Str, remove formals & locals from Domain -> all tests ok