Added check for existence of main function.
Added more JavaDocs.
Fix: some of the binary operators were totally broken.
Fix: always allocate return value for non-void function calls.