Add FxVector type to Typed Racket

The `for` forms for fxvectors are future work
Add in-flvector, in-fxvector to TR base environment