I really like Racket, but never gave Typed Racket a chance and probably should. I sort if fell in love with types after tinkering in Rust. My main issue was I saw no hope for targeting mobile platforms for Racket. Is this still the case, do you know?