spacing
clean up type rule for bv extract op