Standard type soundness for agents and artifacts