a development mainline for the CORNELIUS operating system and development language