IFC Bless
blessing operations
first approach for FS and FI
nicer bless
new code structure
References and MVars, first approximation
Beauty and the beast representation of IFC
Pure representation of Local (not based on get and put). However, we need a new constructor: Ask! for FS LValues. We do not need Put tough
withPrivileges added as a single transformation
Privileges nits and part of core
Adding cleareance?
Nits on Refs and Labeled