Optimization of singleton record types.
Still missing treatment of record types defined in drivers