Don't use RelaxedPolyRec in the compiler; it's built in now