Added PL1-style file I/O. Renamed ProgramCondition class to NonLocalGoto. Various bug fixes.