Bug fix: unary minus problem
Bug fix: interpretation of recursive function was incorrect
Various bug fixes
Added support for recursive function in abstract machine