Remove debugging code.
Implement type captures.