Gavin King, main author of the language, has a great, clear technical writing style, making understandable difficult concepts like variance or sound type system.
Ceylon does away with Java's primitive types and boxing to make all types first-class objects, and allows for union and intersection types, allowing a variable to have more than one type.