added some binary operators
desugaring "if"
single binary target instead of separated REPL and interpreter; implemented significant REPL features, slightly refactored