website: document machine-readable types