Yet more error refinements. Record types to uppercase.