Added typehints on callback arguments
Fixed dead code

Because of missing use statements, the special export for the doubler
and prophecy subjects was not applied. But the specs are explicitly
requesting not to apply it for subjects, and seeing the properties on
these objects can indeed help identifying them.