Added Borceux's notes on the internal language as a reference
to do