Enable nested records.

Instead of inferring a refined type, the compiler was inferring
the class type from the $anon class, leading to type mismatches since
it was too specific.

Conversion involving nested records does not work, but that's a
different bug.