Fixed a number of issues with the syntax, in particular with respect to precedence (should be reviewed).
Added a number of cases to the definitions of wrtV and usedV.
Added remaining laws for the Chronometer case study.