Implemented ASN1.OID.To_Octet_Array and cleaned up the proofs in package Strings.