Added flags for containers, contravariant and distributive
Merge pull request #10 from jcristovao/master

Added flags for containers, contravariant and distributive