Taf programming language: a femto-ML with Lisp syntax