Add Racket vectors and structs to unification