Added haddock comments for most of the rest of the functions in `Core.TT`
Added some clarification of the purpose of `PVar`
Explained the motivation of the name `P` for named references