Yet Another Typed Encoding Scheme: documentation and implementations.