Terms like `List` or `Map` are unknown to the `alphanet.sh` script, so we'd
better not mention them.

Also, I removed `'` signs because they either make the expression
unrecognizable again, or are just extras.

Finally, I accindentially run automatic table alignment, so the diff
is a bit huge.