Improved coverage of Cedalion interpreter.  Running Cedalion's logic unit tests from Detalion.  Some tests still fail.