AlephCloud Notation. a clean clone of ASN.1