Update code and compiler for ceylon/ceylon-spec#517