Add yet more type hints.
Update performance notes.