Allow "bool" as a unit in user-defined equations and make sure that it cannot be used for differential equations.
Handle subexpressions better.