Update TODO.
Add asserts.
Create and use VoidValue.