Translation of modules and functors

[Kakadu]

At tricky part about functors would be translating types in the interfaces, but we probably could manage to do it.

[Kakadu]

Думаю, что стоит добавить возможность человеку указать, какой код должен появиться или пропасть после трансляции. Что-то типа

module type S = sig 
  val x : int [@@lozovml_only]
  [@@@ocanren val x  : int ilogic -> goal  ]
end

По хорошему надо бы уметь конвертировать типы, но для этого надо в начале генерировать [%%distrib ] в результирующем коде. Лучше оставить такой хак.

@Lozov-Petr, это очень сложно поддержать. Как по мне это упростит нашу жизнь, так как в последний черверг мы понапридумывали очень сложную схему, и функторы, параметризованной реляциями descro, typeo, оказались бы кстати.