Made type names up to the user (non-falsy).

Updated README.