early-stage prototype of interpreter for ML-like language