marked a strange line in either.sl (i disagree with the type checking result...)