I only skimmed section 6 ASN.1 Module because I'm a bit rusty on ASN.1 syntax. Otherwise looks good.