A bare-bones typed language implementation for Racket