Wrote a fast type checker to work on annotation trees.