avoid spurious extra errors when operand types are unknown
Revert "avoid spurious extra errors when operand types are unknown"

This reverts commit 9063821e0905107a171d11f3c71eb23ac5ceee4a.
rationalize handling of Unknown types