TK2 project, interpreter for chosen functional language