* New module FlexibleLb.hs
  - Extended API for labeled values: functor structure (fmap), relabeling
	operation (relabel), and applicative operator (<<*>>).
  - Theory supporting this changes is described in the article "Flexible 
    Manipulation of Labeled Values for Information-Flow Control Libraries"
    by Vassena et al.