Xeto is a data-only type system that defines a simple plain text format for declaring types and...