Check numbers / booleans are used in the appropriate places

[MichaelClerx]

E.g. piecewise conditions or AND operators must be booleans, while operands for e.g. exp must be numbers

(Transferred from #8)

[MichaelClerx]

This is a type of CellML validation, so low priority for cellmlmanip