Letters of Credit: A View of Type Design