Representations of the core calculi for Typed Racket