Make typechecker properly check transposes with a negative direction.
Fix number syntax highlighting.

l0-mode is now perfect.