CTL Parser 1.1

Add support for complex propositions.

A float proposition can now contain any arbitrary algebraic expression (+,-,*,/,number,variable). Of course, references also work for expressions.