Update contracts; update javadoc comments
Refactor unification of all invocation failures (issue #19)