As pointed out, the type checks in operators are not necessary anymore, removed them again.