This module contains implementations of simprocs used in the bv_normalize simp set.