README: documents the 3 primitives