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