Feature/type auto

Implementing the `auto` type, adding tests and documentation in the README.

Implements feature #8.