cleanup and fix type assertion logic

Author: samukweku

src/core/expr/fbinary/bimaker.cc

@@ -45,12 +45,6 @@ static std::unordered_map<size_t, bimaker_ptr> bimakers_library;
 
 bimaker_ptr resolve_op(Op opcode, SType stype1, SType stype2) {
   switch (opcode) {
-    //case Op::AND:        return resolve_op_and(stype1, stype2);
-    //case Op::OR:         return resolve_op_or(stype1, stype2);
-    //case Op::XOR:        return resolve_op_xor(stype1, stype2);
-    // case Op::LSHIFT:     return resolve_op_lshift(stype1, stype2);
-    // case Op::RSHIFT:     return resolve_op_rshift(stype1, stype2);
-
     case Op::ARCTAN2:    return resolve_fn_atan2(stype1, stype2);
     case Op::HYPOT:      return resolve_fn_hypot(stype1, stype2);
     case Op::POWERFN:    return resolve_fn_pow(stype1, stype2);

src/core/expr/fbinary/bimaker.h

@@ -77,12 +77,6 @@ using bimaker_ptr = std::unique_ptr<bimaker>;
 // Main resolver, calls individual-op resolvers below
 bimaker_ptr resolve_op(Op, SType, SType);
 
-//bimaker_ptr resolve_op_and(SType, SType);
-//bimaker_ptr resolve_op_or(SType, SType);
-//bimaker_ptr resolve_op_xor(SType, SType);
-// bimaker_ptr resolve_op_lshift(SType, SType);
-// bimaker_ptr resolve_op_rshift(SType, SType);
-
 bimaker_ptr resolve_fn_atan2(SType, SType);
 bimaker_ptr resolve_fn_hypot(SType, SType);
 bimaker_ptr resolve_fn_pow(SType, SType);