Без заголовка

насколько я понимаю, под правильным юзер-интерфейсом понимается помощь в проведении сложных рефакторингов (то есть как раз анализ и сжатие кода). Другое дело, что рефакторинги обычно не относятся к "другому взгляду на ту же задачу", а просто "синтаксически" упрощают, с точностью до паттернов кодирования, а не паттернов моделирования (отражения в коде только того, что нужно, нахождение правильной абстракции). В DSL можно как раз заранее указать правильные объекты и операции с ними, да еще и в удобном синтаксисе (а не в "эквивалентной записи" на чуждом пользователю языке, типа FOL или Smalltalk).