Changelog for mac-0.1.3.0

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.