On Graded Coeffect Types for Information-Flow Control