docs: 'proxies' is closer to the API than 'typed actors'
docs: Fix typo in example