Less confusing syntax: `datatype` and `datacons` keywords.