Generation of fast comparison and equality functions from type expressions and definitions
