ML programming language

Implmenting a ML style langauge: