Documentation for System.idr

The remainder of System.idr has been documented.