racket code to extract character properties from Unicode specifications