Invalid calls to reaction functions now always lead to a failing runtime assert. In debug mode the result type is a class with destructive copy semantics, enabling the detection of a wider range of reaction function abuses. Added appropriate tests and updated the documentation.