Typed-Object-oriented Language by Racket