- implemented more detailed promote_rule
 - named %op% named for + - .+ .- .* ./ ckecking names
 - named %op% array for the same keeping names
 - abstract %op% abstract for + - .+ .- .* / \
 - * matmul keeping combined names