Added flags for containers, contravariant and distributive