ProviderTerminalManager and RecordFileSystem Updates

COmpleted ProviderTerminalManager (for now) and updated
RecordFileSystem.