Noting agreed coding rules for types