updated name for DeliteOpHashFilterReduce and addition of explicit type casts in mirror functions to workaround GADT skolem error