BTW a prototype PSoC4 BLE similar to the 4200 ones at $4 would be cool! and also a PRoC BLE prototype board similar to the 4100 one for $4 as well.
My understanding is that they have plans to make the modules they ship with the BLE kit available for purchase. They didn't mention pricing or availability but that would make it similar to the $4 prototyping kit. I don't know about being boot-loadable though so it still may need a MiniProg.
Yes, the PSoC4 BLE and PRoC4 BLE modules will be available separately as independent products. They are perhaps around 5cm x 3cm and expose all the GPIO pins of the device. They are also coming out with a mini version which, IIRC, is supposed to be more like 15mm x 15mm and will have the same chip, but not all GPIO's are broken out due to the smaller size.
And in regards to availability, this question was asked and one of the guys at the meeting (who was in a strong position to know) said that availability was a few weeks out and that they will start coming out of the factory in about 2 weeks and arriving to distributors shortly after.