Cactus type inference

Cactus can infer many thing automatically:

CategoryCan be inferredCan be given explicitly
Types of nonterminalsby type inferenceyes
Names of typesfrom names of nonterminalsyes
Names of data constructorsnoyes
Types of data constructorsfrom their useyes
Keywordsfrom use in concrete syntaxyes
Abstract syntaxyes...yes