Keyword trait

A common interface for a class of types.

The documentation for this keyword is not yet complete. Pull requests welcome!