New ideas, and refined spec
Renamed FlexC-IL Spec folder to "FlexC Spec"
Added some more ideas