Is there an unsafe version of the cast function in Typed Racket?
I\'d like to use this to be able to add a proposition that I logically know about, but the typ
