revert TypeBinary typecheck