prototype of interpreter for ML-like programming language