add void literal
replace -> and => by unicode chars because -> and => are already defined by racket