Fixed numerous bugs in translator and runtime; example working.