Add variables as properties

This makes it easier to interface with variables (to check or constrain them).

The printed output has also been made much clearer.

Merge request reports

Loading