changes to ceylon.io APIs