added kind abbreviations to the front end; desugared away