Well, shit. They broke the language. I still hope that a reasonable subset of the type system remains decidable, though.