A language with control flow based on "ignorance spaces" [BSD license]