v0.4.0: Introduce a CSharp section

This fixes several typos, and adds a CSharp section.
It also introduces a Java section, which is basically
a copy of the first section in CSharp: the dreaded
swapped arguments of assert.