A skeleton of a femto-ML with nothing but polymorphic variants and functions

This sounds great. I'm not a PL THEORY geek, but better options on the metal sound good - at the moment it's C or Forth. others have been done, but not often.<p>I would like to see an implementation?