Fix some cover errors
Fix call of type_id_identity inside details::check_expr_equality