Ceylon Language Specification and type analyzer