Implementation of a subset of ASDL as a Racket language