Added contracts for
word classes.