Make the exercise on inverses much more explicit, plus various clarifications and fixes

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>