Creating and Destroying FileStreams

The core of physical file stream management consists in creating and destroying ``FileStreams.'' FileStreams are the abstractions in GAT introduced to allow the application programmer to read and write bytes to an open physical file. GAT, not surprisingly, allows for the creation of such abstractions and their subsequent destruction.