Записи с методами - нет (а зачем?)
Таким путём можно создавать сложные типы вместе с выполняемыми над ними операциями (например, комплексную арифметику). Так что сие в определённых ситуациях полезно.
Типы внутри классов - есть (а зачем?)
В Дельфях нет "стопроцентной" модульности, как, например, в Аде, из-за чего и появляется необходимость в типах внутри классов, спецификаторах видимости вроде private и т.п. В частности, нужда в типах внутри классов возникает в том случае, если эти самые типы используются (и, соответственно, должны быть видимы) только внутри класса. Если объявить тип до класса, он станет доступным всем подряд, что не есть хорошо. Перенести же объявление типа в раздел реализации невозможно, поскольку заголовки методов класса, а также поля и свойства должны быть полностью объявлены в разделе интерфейса, даже если снаружи класса они и не видны благодаря использованию strict private.