Repository for something which is ought to be simple ML-like programming language