It didn't let me guess things that had already been eliminated with gray tiles.

Isn't that rule 3?

It does - you can type them but it rejects the word when you submit it.

I think this DOES make it way harder than regular wordle.