In the Marigold presentation it is stated that
But first, project resources are dedicated to a new smart contract language for Tezos. What currently exists was sufficient for the Marigold prototype. However, the contracts needed for the full feature set described above require more because of their additional complexity.
Is there an other document or site I should read or follow to learn more about these features that would not be present in Michelson or Liquidity?