Welcome in the forum, Dai.
Maybe I have to get the PSoC IDE and if I select the CYBLE-022001-00 device, it will have a PWM component with the correct functions specified?
You are perfectly right with that assumption. Even like the PWM the BLE is a component which you drop onto the IDE topdesign schematic. IDE's name is Cypress Creator, actual version is 3.3 and you can download and install it from Cypress directly.
There is a single ARM Cortex M0 processor within a PRoC chip. To see how much flash and sram the BLE takes, easiest will be to compile a BLE example project which you can find in the IDE.
I will check out the Cypress Creator and probably get the development kit. I see only 5 pins on the kid for the MimiProg3 connector, does it support full debugging capability like break points etc?
The miniprog3 uses: a two-wire interface, V+,GND and a reset which together come up to a 5-pin connection. Debugging included via "Serial Wire Debug" (SWD) interrface.