Define data encodings: racket-value <-> term-value

Tests haven't yet been written for this code.