Started Racket embedding of Remora ("rackmora")
Some more primops in Redex model
Cleaned up a bit of type checking in Redex