Со структурами будут проблемы, поэтому и "нахуевертить"
да и с простыми типами тоже, допустим куда ты положишь "всё что угодно" (тип в рт определяется)? динамически на стеке определять сколько надо? как ты потом будешь проверять использование такой переменной (можно ли её складывать, конкатенировать)? нужна будет информация о типе в рт уже после создания переменной, следовательно и проверки дальше по коду будут в рт