Added interpreter

- Added interpreter to kind2