typer 1.0.7

Provide `Typer`, a more capable version of `Type`. Supports relational operators, type tests and casts, a limited form of existential open, and promotion.

1.0.7

• Define toString.
• Improve README.md.

1.0.6

• Add overriding == and hashCode to align equality with the relational operators.

1.0.5

• Improve the documentation.

1.0.4

• Add documentation.

1.0.3

• Improve README.md.

1.0.2

• Formatting, cleanups.

1.0.1

• Update usage of package test.

1.0.0

• Initial version.