[racket] linear et. al. types in Typed Racket?

cool, thanks for the note.

i wish i were filthy rich and could throw money at people to
"productize" these wonderful efforts. :-)