Development of Refal-2 language interpreter