More design work on the FlexC-IL compiler's operation