Removed manual typeclass encoding from Typed Racket implementation

Sets are now unityped, so the arrows are a translation target for
an *untyped* first-order calculus