Ого! Вы уже идёте прямо в русле неоклассики применительно к прогязыкам...

Кстати, для такого использования идентификаторов, надо думать, нужен формат исходника, поддерживающий нечто вроде RTTI (т.е. записи о величинах такого вида, как обсуждалось вэтом пункте)? Вы предполагаете какой-то конкретный формат?