1) The port-pin way of addressing is not available. Pins are addressed the Arduino way (1,2,3..).
When did you download the core ? The pin mapping was updated yesterday
2) Even with Pin# way, all pins are not included.
See answer to 4
3) Some of the pins are marked as ARDUINO_PIN_EXT / GPIO_PIN_MORPHO_ONLY. I don’t know how to access these pins.
See answer to 4
4) MAX_DIGITAL_IOS is defined as 22 which is incorrect. (actual count is 51).
OK. Looks like this is a mistake in both the BluePill and the Value Line, however we can’t simply change this number, because of the way Wi6Labs wrote the code it is very wasteful and puts loads of constant data into RAM, and changing that count from 22 to 51 would mean it consumes more RAM than is available in the F100
We already have an issue logged for this, but its not that easy to fix, as it requires a lot of changes to the code 
5) LED_BUILTIN is defined as 13 which is incorrect. (this board has 2 LEDs – PC8 and PC9).
Easy to fix. I’ll push a fix for this now.
6) The board pins are marked in the PXYY format and it does not have the arduino way of pin labeling. Hence Port/pin way of addressing (PA1, PA2..) would make more sense.
See answer to question 1 (fixed already)