Мне всё ещё кажется, что стоит убрать динамические типы из чистого Laisi. Но я не уверен. Надо решать сейчас, пока всё болтается.
Тогда не придётся полагаться на heap.
Ну же, у меня же есть препроцессировальное метапрограммирование, стоит попробовать через него и дополнительные библиотеки реализовать динамические типы. Это сделает всё легче. И название будет оправдано.