Work on semantics documentation: t+