add various coments to explain how the TAIT code works r? `@oli-obk`
For more information about how rustc works, see the rustc dev guide.
