WIP: start to fill in a Racket-specific implementation-helpers