Improved dimension mismatch diagnostics.

Improved for comparison operators and trinary if.
Add a few more convenience units such as Bar and Darcy.