Revert "add unknown type to deal with compilation errors"

This reverts commit a95412b462848dcce217cd625dacc26d2fdce2fe.
check types in binary expression