Merd innovations


 Syntax: horizontal layout
    a * b+c  parsed as  a*(b+c)

 Types
structural equivalence and open world types
experimentation of intersection values and union types

 staged evaluation: execute at compile-time what's possible
   ⇒  do some of the classical preprocessor work

fill the expressivity gap between static typing world and dynamic typing world