Bounded Linear Logic, Revisited (Logical Methods in Computer Science, 2010)