Type guessing is broken

Type guessing with strict type guessing does not exclude types if they are not possible in the first row. Possibly more.