Updated tests for new binary version 4 (#948)
fix. ceylondoc sdk test
Ceylondoc #952: proper render void type
Added (failing) test for #954
Added possible fix for #954 but waiting for changes to the typechecker