Typing improved

Improved support for mypy types and type checking with py.typed.
Distribution as a wheel also.

Signature checks

EnforceOverrides now checks argument and return value signatures for overriding problems.
This is a backwards incompatible change.
Special thanks to @ashwin153 for all the hard work on making this possible!

#35