Information Flow Control initial version

This milestone contains issues that must be fixed in order to be confident that we have an IFC system that is sound (i.e. does not introduce leaks) and allows assigning meaningful labels to the current set of examples.

The focus of this milestone is on confidentiality labels, and on conjunctive connectives only. Integrity labels and disjunctive (or other) connectives will be part of future milestones.