40mm on a 2x crop would be 80mm... I'm not expecting the mirrorless to be anything more than APS-C, it is just as likely to be the same size as a 4/3rds sensor, EF-M ? (micro) in a way of beating Nikon on sensor size (Nikon 1), but not suffering a problem of having to build masses of new lenses, as it would be EF or EF-S comparable.
So, could we also expect a cheap 12mm and 24mm pancake too ?, giving 24mm and 48mm focal lengths ?