word (racket): Signed and Unsigned Word datatype for Racket using refinement types.  
Keywords: binary|refinement